Efficient asynchronous interrupt handling in a full-system instruction set simulator
نویسندگان
چکیده
منابع مشابه
Instruction Set Simulator In Embedded System
In embedded system design, there is an increasing demand for a cache simulation module inside a well-known instruction set simulator QEMU. System level, Algorithmic level, Instruction set level, Register-transfer level (RTL) simulation model can also be used for the synthesis of the embedded system. In embedded system design, there is an increasing demand for modeling techniques that can provid...
متن کاملIntegrating Instruction Set Simulator into a System Level Design Environment
of the Thesis Integrating Instruction Set Simulator into a System Level Design Environment by Akash Agarwal Master of Science in Electrical and Computer Engineering Northeastern University, February 2013 Dr. Gunar Schirner, Adviser Design of Embedded System, which today comprises of both Hardware and Software (HW/SW) has become complex with the advancement of technology and with the ever increa...
متن کاملAn ultra-fast instruction set simulator
In this paper, we present new techniques which further improve the static compilation-based instruction set architecture (ISA) simulation by the aggressive utilization of the host machine resources. Such utilization is achieved by defining a low-level code-generation interface specialized for ISA simulation, rather than the traditional approaches which use C as a code-generation interface. We a...
متن کاملProving Correctness of an Efficient Abstraction for Interrupt Handling
This paper presents an approach to the efficient abstraction of interrupt handling in microcontroller systems. Such systems usually operate in uncertain environments, giving rise to a high degree of nondeterminism in the corresponding formal models, which in turn aggravates the state explosion problem. Careful handling of nondeterminism is therefore crucial for obtaining efficient model checkin...
متن کاملIntegrating Instruction Set Simulator into a System Level Design Environments design tool
of the Thesis Integrating Instruction Set Simulator into a System Level Design Environment by Akash Agarwal Master of Science in Electrical and Computer Engineering Northeastern University, February 2013 Dr. Gunar Schirner, Adviser Design of Embedded System, which today comprises of both Hardware and Software (HW/SW) has become complex with the advancement of technology and with the ever increa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2016
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2980930.2907953